rule of inference câu

• This rule of inference is called Propositional Resolution or the Resolution Principle.
  quá trình này gọi là name resolution hoặc resolution.
• Modus ponens is a very common rule of inference, and takes the following form:
  Modus ponens là một luật rất phổ thông của suy diễn, nó mang dạng sau:
• Modus tollens is a very common rule of inference, and takes this form:
  Modus ponens là một luật rất phổ thông của suy diễn, nó mang dạng sau:
• there is one rule of inference (modus ponens)
  Qui tắc khẳng định (Modus Ponens)